Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
661	Struct Multidisc Optim[removed]:93–109 DOI[removed]s00158[removed]RESEARCH PAPER Constrained multifidelity optimization using model calibration Add to Reading List Source URL: raphael.mit.edu Language: English - Date: 2013-06-19 14:19:05 Mathematics Penalty method Constraint optimization Shape optimization Global optimization Lagrange multiplier Constraint Quadratic programming Sequential quadratic programming Mathematical optimization Numerical analysis Mathematical analysis
662	Experiments in Constraint-Based Automated Scene Generation Simon Colton Department of Computing, Imperial College, London, UK [removed] Abstract. We investigate the question of automatic scene construction Add to Reading List Source URL: www.thepaintingfool.com Language: English - Date: 2013-10-24 13:18:45 Constraint satisfaction Computing Bin Constraint programming Software engineering Computer programming
663	Microsoft Word - PPCP94.DOC Add to Reading List Source URL: kurlander.net Language: English - Date: 2008-06-20 14:46:28 Mathematical optimization Computing Declarative programming Constraint algorithm Computer-aided design Constraint Project management Check Constraint Theory of constraints Constraint programming Software engineering Computer programming
664	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Formal methods Automated theorem proving Mathematical logic Constraint programming SPASS Isabelle Satisfiability Modulo Theories Mathematical proof Vampire Theoretical computer science Mathematics Applied mathematics
665	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Don’t care in SMT⋆ Building flexible yet efficient abstraction/refinement solvers Andreas Bauer1 , Martin Leucker2 , Christian Sc Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2009-10-01 20:34:14 Mathematics Model theory Logic in computer science Electronic design automation NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Constraint satisfaction problem Symbol Theoretical computer science Constraint programming Mathematical logic
666	Helgrind: a constraint-based data race detector Julian Seward, [removed] The big picture Add to Reading List Source URL: archive.fosdem.org Language: English - Date: 2014-10-24 07:45:54 Concurrency control Threads Concurrency Lock Valgrind Deadlock POSIX Threads Computing Computer programming Concurrent computing
667	Refutation-Complete Binary Decision Diagrams Scott P. Sanner Department of Computer Science University of Toronto Toronto, ON M5S 3G4 Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2004-05-05 19:58:06 Boolean algebra Automated theorem proving Constraint programming Mathematical logic Diagrams Binary decision diagram DPLL algorithm Boolean satisfiability problem Resolution Theoretical computer science Mathematics Applied mathematics
668	Microsoft PowerPoint - constraint05 Add to Reading List Source URL: www.autonlab.org Language: English - Date: 2008-07-07 16:16:30 Vehicle Identification Number Constraint programming Local consistency Constraint satisfaction
669	AAAI-06 Technical Paper Abstracts (Organized by schedule of presentation) Tuesday, July 18 10:20 – 11:20 AM Machine Learning I Add to Reading List Source URL: www.aaai.org Language: English - Date: 2008-12-16 00:04:28 Inductive reasoning Reasoning Cybernetics Automated theorem proving Constraint programming Reasoning system Algorithm Collaborative filtering Agent-based model Artificial intelligence Science Cognition
670	Propositional Encoding of Constraints over Tree-Shaped Data Johannes Waldmann and Alexander Bau HTWK Leipzig, Germany {waldmann,abau}@imn.htwk-leipzig.de Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-05-22 03:33:16 Propositional calculus Boolean algebra Constraint programming Formal languages Model theory Boolean satisfiability problem String Propositional formula Function Mathematics Logic Mathematical logic

UPDATE